استفاده از روش های هوشمند برای تولید خودکار داده آزمون در آزمون نرم افزار

با توجه به رشد روز¬افزون بازار فروش نرم¬افزار و نیاز¬های اساسی جامعه به محصولات نرم¬افزاری، فرایند آزمون نرم¬افزار هم از لحاظ کیفی و هم از لحاظ قابلیت اطمینان حائز اهمیت است. این آزمون به بررسی کیفیت یک محصول در جهت یافتن خطاها اقدام می¬کند. آزمون فقط می¬تواند وجود خطاها را نشان دهد ولی نمی¬تواند عدم وجود خطا را تضمین نماید. آزمون نرم¬افزار در ارتباط با دو موضوع مطرح می شود: 1) آیا نرم¬افزار به درستی ایجاد شده است؟ 2) آیا نرم¬افزار تولید شده به صورت درست کار می¬کند و یا خیر؟ با تکیه بر این دو موضوع می¬توان عوامل شکست نرم¬افزارها را ارزیابی نمود. تحقیق این پایان¬نامه بر روی پیدا کردن داده آزمون مناسب برای یک نرم¬افزار است به گونه¬ای که این داده¬ها بتوانند دو مورد اشاره شده در بالا را تامین نمایند. مساله مذکور به یک مساله بهینه¬سازی تبدیل شده و آنگاه با استفاده از الگوریتم ژنتیک حل شده است. پیش از این مواردی مانند احتمال مسیر، مقادیر مرزی و درصد پوشش مسیر برای تابع برازش الگوریتم ژنتیک تعریف شده است. با توجه به بررسی های انجام شده، در تعریف تابع برازش (هدف) الگوریتم ژنتیک موارد جدیدی همچون غیر تکراری بودن گره آخر مسیرها، وزن دهی به یال¬ها در گراف جریان کنترل لحاظ شده است. نتیجه آزمایشات حاکی از پاسخ مناسب روش ارائه شده از لحاظ پوشش حداکثر مسیر همراه با پیمایش مسیرهای پیچیده نسبت به روش مشابه می¬باشد.